Jump to content

Ordered Bell number

This is a good article. Click here for more information.
From Wikipedia, the free encyclopedia

The 13 possible strict weak orderings on a set of three elements {a, b, c}

In number theory and enumerative combinatorics, the ordered Bell numbers or Fubini numbers count the weak orderings on a set of elements. Weak orderings arrange their elements into a sequence allowing ties, such as might arise as the outcome of a horse race.[1][2]

The ordered Bell numbers were studied in the 19th century by Arthur Cayley and William Allen Whitworth. They are named after Eric Temple Bell, who wrote about the Bell numbers, which count the partitions of a set; the ordered Bell numbers count partitions that have been equipped with a total order. Their alternative name, the Fubini numbers, comes from a connection to Guido Fubini and Fubini's theorem on equivalent forms of multiple integrals. Because weak orderings have many names, ordered Bell numbers may also be called by those names, for instance as the numbers of preferential arrangements[3] or the numbers of asymmetric generalized weak orders.[4]

These numbers may be computed via a summation formula involving binomial coefficients, or by using a recurrence relation. They also count combinatorial objects that have a bijective correspondence to the weak orderings, such as the ordered multiplicative partitions of a squarefree number[5] or the faces of all dimensions of a permutohedron.[6]

Definitions and examples

[edit]

Weak orderings arrange their elements into a sequence allowing ties. This possibility describes various real-world scenarios, including certain sporting contests such as horse races.[1][2] A weak ordering can be formalized axiomatically by a partially ordered set for which incomparability is an equivalence relation. The equivalence classes of this relation partition the elements of the ordering into subsets of mutually tied elements, and these equivalence classes can then be linearly ordered by the weak ordering. Thus, a weak ordering can be described as an ordered partition, a partition of its elements and a total order on the sets of the partition.[7] For instance, the ordered partition {a,b},{c},{d,e,f} describes an ordered partition on six elements in which a and b are tied and both less than the other four elements, and c is less than d, e, and f, which are all tied with each other.

The th ordered Bell number, denoted here , gives the number of distinct weak orderings on elements.[8] For instance, there are three weak orderings on the two elements a and b: they can be ordered with a before b, with b before a, or with both tied. The figure shows the 13 weak orderings on three elements.

Starting from , the ordered Bell numbers are

1, 1, 3, 13, 75, 541, 4683, 47293, 545835, 7087261, 102247563, ... (sequence A000670 in the OEIS).

When the elements to be ordered are unlabeled (only the number of elements in each tied set matters, not their identities) what remains is a composition or ordered integer partition, a representation of as an ordered sum of positive integers. For instance, the ordered partition {a,b},{c},{d,e,f} discussed above corresponds in this way to the composition 2 + 1 + 3. The number of compositions of is exactly . This is because a composition is determined by its set of partial sums, which may be any subset of the integers from 1 to .[4]

History

[edit]
13 plane trees with ordered leaves and equal-length root-leaf paths, with the gaps between adjacent leaves labeled by the height above the leaves of the nearest common ancestor. These labels induce a weak ordering on the gaps, showing that the trees of this type are counted by the ordered Bell numbers.

The ordered Bell numbers appear in the work of Cayley (1859), who used them to count certain plane trees with totally ordered leaves. In the trees considered by Cayley, each root-to-leaf path has the same length, and the number of nodes at distance from the root must be strictly smaller than the number of nodes at distance , until reaching the leaves.[9] In such a tree, there are pairs of adjacent leaves, that may be weakly ordered by the height of their lowest common ancestor; this weak ordering determines the tree. Mor & Fraenkel (1984) call the trees of this type "Cayley trees", and they call the sequences that may be used to label their gaps (sequences of positive integers that include at least one copy of each positive integer between one and the maximum value in the sequence) "Cayley permutations".[10]

Pippenger (2010) traces the problem of counting weak orderings, which has the same sequence as its solution, to the work of Whitworth (1886).[8][11] These numbers were called Fubini numbers by Louis Comtet, because they count the different ways to rearrange the ordering of sums or integrals in Fubini's theorem, which in turn is named after Guido Fubini.[12] The Bell numbers, named after Eric Temple Bell, count the partitions of a set, and the weak orderings that are counted by the ordered Bell numbers may be interpreted as a partition together with a total order on the sets in the partition.[13]

The equivalence between counting Cayley trees and counting weak orderings was observed in 1970 by Donald Knuth, using an early form of the On-Line Encyclopedia of Integer Sequences (OEIS). This became one of the first successful uses of the OEIS to discover equivalences between different counting problems.[4]

Formulas

[edit]

Summation

[edit]

Because weak orderings can be described as total orderings on the subsets of a partition, one can count weak orderings by counting total orderings and partitions, and combining the results appropriately. The Stirling numbers of the second kind, denoted , count the partitions of an -element set into nonempty subsets. A weak ordering may be obtained from such a partition by choosing one of total orderings of its subsets. Therefore, the ordered Bell numbers can be counted by summing over the possible numbers of subsets in a partition (the parameter ) and, for each value of , multiplying the number of partitions by the number of total orderings . That is, as a summation formula:[14][15] By general results on summations involving Stirling numbers, it follows that the ordered Bell numbers are log-convex, meaning that they obey the inequality for all .[16]

A three-dimensional truncated octahedron, with its vertices labeled by their four-dimensional coordinates as a permutohedron

An alternative interpretation of the terms of this sum is that they count the features of each dimension in a permutohedron of dimension , with the th term counting the features of dimension . A permutohedron is a convex polytope, the convex hull of points whose coordinate vectors are the permutations of the numbers from 1 to . These vectors are defined in a space of dimension , but they and their convex hull all lie in an -dimensional affine subspace. For instance, the three-dimensional permutohedron is the truncated octahedron, the convex hull of points whose coordinates are permutations of (1,2,3,4), in the three-dimensional subspace of points whose coordinate sum is 10. This polyhedron has one volume (), 14 two-dimensional faces (), 36 edges (), and 24 vertices (). The total number of these faces is 1 + 14 + 36 + 24 = 75, an ordered Bell number, corresponding to the summation formula above for .[17]

By expanding each Stirling number in this formula into a sum of binomial coefficients, the formula for the ordered Bell numbers may be expanded out into a double summation. The ordered Bell numbers may also be given by an infinite series:[8][13]

Another summation formula expresses the ordered Bell numbers in terms of the Eulerian numbers , which count the permutations of items in which pairs of consecutive items are in increasing order:[18] where is the th Eulerian polynomial. One way to explain this summation formula involves a mapping from weak orderings on the numbers from 1 to to permutations, obtained by sorting each tied set into numerical order. Under this mapping, each permutation with consecutive increasing pairs comes from weak orderings, distinguished from each other by the subset of the consecutive increasing pairs that are tied in the weak ordering.[18]

Generating function and approximation

[edit]

As with many other integer sequences, reinterpreting the sequence as the coefficients of a power series and working with the function that results from summing this series can provide useful information about the sequence. The fast growth of the ordered Bell numbers causes their ordinary generating function to diverge; instead the exponential generating function is used. For the ordered Bell numbers, it is:[8][13][15][19] Here, the left hand side is just the definition of the exponential generating function and the right hand side is the function obtained from this summation. The form of this function corresponds to the fact that the ordered Bell numbers are the numbers in the first column of the infinite matrix . Here is the identity matrix and is an infinite matrix form of Pascal's triangle. Each row of starts with the numbers in the same row of Pascal's triangle, and then continues with an infinite repeating sequence of zeros.[20]

Based on a contour integration of this generating function, the ordered Bell numbers can be expressed by the infinite sum[21][5] Here, stands for the natural logarithm. This leads to an approximation for the ordered Bell numbers, obtained by using only the term for in this sum and discarding the remaining terms:[21][3][5][15][22] where . Thus, the ordered Bell numbers are larger than the factorials by an exponential factor. Here, as in Stirling's approximation to the factorial, the indicates asymptotic equivalence. That is, the ratio between the ordered Bell numbers and their approximation tends to one in the limit as grows arbitrarily large. As expressed in little o notation, the relative error is , and the error term decays exponentially as grows.[5]

Comparing the approximations for and shows that For example, taking gives the approximation to . This sequence of approximations, and this example from it, were calculated by Ramanujan, using a general method for solving equations numerically (here, the equation ).[4][23]

Recurrence and modular periodicity

[edit]

As well as the formulae above, the ordered Bell numbers may be calculated by the recurrence relation[3][8]

The intuitive meaning of this formula is that a weak ordering on items may be broken down into a choice of some nonempty set of items that go into the first equivalence class of the ordering, together with a smaller weak ordering on the remaining items. There are choices of the first set, and choices of the weak ordering on the rest of the elements. Multiplying these two factors, and then summing over the choices of how many elements to include in the first set, gives the number of weak orderings, . As a base case for the recurrence, (there is one weak ordering on zero items). Based on this recurrence, these numbers can be shown to obey certain periodic patterns in modular arithmetic: for sufficiently large ,

[3]
and
[24]

Many more modular identities are known, including identities modulo any prime power.[14][25][26] Peter Bala has conjectured that this sequence is eventually periodic (after a finite number of terms) modulo each positive integer , with a period that divides Euler's totient function of , the number of residues mod that are relatively prime to .[4]

Applications

[edit]

Combinatorial enumeration

[edit]

As has already been mentioned, the ordered Bell numbers count weak orderings, permutohedron faces, Cayley trees, Cayley permutations, and equivalent formulae in Fubini's theorem. Weak orderings in turn have many other applications. For instance, in horse racing, photo finishes have eliminated most but not all ties, called in this context dead heats, and the outcome of a race that may contain ties (including all the horses, not just the first three finishers) may be described using a weak ordering. For this reason, the ordered Bell numbers count the possible number of outcomes of a horse race.[1] In contrast, when items are ordered or ranked in a way that does not allow ties (such as occurs with the ordering of cards in a deck of cards, or batting orders among baseball players), the number of orderings for items is a factorial number ,[27] which is significantly smaller than the corresponding ordered Bell number.[28]

Problems in many areas can be formulated using weak orderings, with solutions counted using ordered Bell numbers. Velleman & Call (1995) consider combination locks with a numeric keypad, in which several keys may be pressed simultaneously and a combination consists of a sequence of keypresses that includes each key exactly once. As they show, the number of different combinations in such a system is given by the ordered Bell numbers.[18] In seru, a Japanese technique for balancing assembly lines, cross-trained workers are allocated to groups of workers at different stages of a production line. The number of alternative assignments for a given number of workers, taking into account the choices of how many stages to use and how to assign workers to each stage, is an ordered Bell number.[29] As another example, in the computer simulation of origami, the ordered Bell numbers give the number of orderings in which the creases of a crease pattern can be folded, allowing sets of creases to be folded simultaneously.[30]

In number theory, an ordered multiplicative partition of a positive integer is a representation of the number as a product of one or more of its divisors. For instance, 30 has 13 multiplicative partitions, as a product of one divisor (30 itself), two divisors (for instance 6 · 5), or three divisors (3 · 5 · 2, etc.). An integer is squarefree when it is a product of distinct prime numbers; 30 is squarefree, but 20 is not, because its prime factorization 2 · 2 · 5 repeats the prime 2. For squarefree numbers with prime factors, an ordered multiplicative partition can be described by a weak ordering on its prime factors, describing which prime appears in which term of the partition. Thus, the number of ordered multiplicative partitions is given by . On the other hand, for a prime power with exponent , an ordered multiplicative partition is a product of powers of the same prime number, with exponents summing to , and this ordered sum of exponents is a composition of . Thus, in this case, there are ordered multiplicative partitions. Numbers that are neither squarefree nor prime powers have a number of ordered multiplicative partitions that (as a function of the number of prime factors) is between these two extreme cases.[31]

A parking function, in mathematics, is a finite sequence of positive integers with the property that, for every up to the sequence length, the sequence contains at least values that are at most . A sequence of this type, of length , describes the following process: a sequence of cars arrives on a street with parking spots. Each car has a preferred parking spot, given by its value in the sequence. When a car arrives on the street, it parks in its preferred spot, or, if that is full, in the next available spot. A sequence of preferences forms a parking function if and only if each car can find a parking spot on or after its preferred spot. The number of parking functions of length is exactly . For a restricted class of parking functions, in which each car parks either on its preferred spot or on the next spot, the number of parking functions is given by the ordered Bell numbers. Each restricted parking function corresponds to a weak ordering in which the cars that get their preferred spot are ordered by these spots, and each remaining car is tied with the car in its preferred spot. The permutations, counted by the factorials, are parking functions for which each car parks on its preferred spot.[32] This application also provides a combinatorial proof for upper and lower bounds on the ordered Bell numbers of a simple form,

The Coxeter complex for cuts space into 24 triangular cones, shown here by their intersections with a unit sphere. The reflection planes of cut the sphere in great circles. The faces of the complex intersect the sphere in 24 triangles, 36 arcs, and 14 vertices; one more face, at the center of the sphere, is not visible.

The ordered Bell number counts the number of faces in the Coxeter complex associated with a Coxeter group of type . Here, a Coxeter group can be thought of as a finite system of reflection symmetries, closed under repeated reflections, whose mirrors partition a Euclidean space into the cells of the Coxeter complex. For instance, corresponds to , the system of reflections of the Euclidean plane across three lines that meet at the origin at angles. The complex formed by these three lines has 13 faces: the origin, six rays from the origin, and six regions between pairs of rays.[4]

Kemeny (1956) uses the ordered Bell numbers to analyze n-ary relations, mathematical statements that might be true of some choices of the arguments to the relation and false for others. He defines the "complexity" of a relation to mean the number of other relations one can derive from the given one by permuting and repeating its arguments. For instance, for , a relation on two arguments and might take the form . By Kemeny's analysis, it has derived relations. These are the given relation , the converse relation obtained by swapping the arguments, and the unary relation obtained by repeating an argument. (Repeating the other argument produces the same relation.)[33]

Ellison & Klein (2001) apply these numbers to optimality theory in linguistics. In this theory, grammars for natural languages are constructed by ranking certain constraints, and (in a phenomenon called factorial typology) the number of different grammars that can be formed in this way is limited to the number of permutations of the constraints. A paper reviewed by Ellison and Klein suggested an extension of this linguistic model in which ties between constraints are allowed, so that the ranking of constraints becomes a weak order rather than a total order. As they point out, the much larger magnitude of the ordered Bell numbers, relative to the corresponding factorials, allows this theory to generate a much richer set of grammars.[28]

Other

[edit]

If a fair coin (with equal probability of heads or tails) is flipped repeatedly until the first time the result is heads, the number of tails follows a geometric distribution. The moments of this distribution are the ordered Bell numbers.[4]

Although the ordinary generating function of the ordered Bell numbers fails to converge, it describes a power series that (evaluated at and then multiplied by ) provides an asymptotic expansion for the resistance distance of opposite vertices of an -dimensional hypercube graph. Truncating this series to a bounded number of terms and then applying the result for unbounded values of approximates the resistance to arbitrarily high order.[8]

In the algebra of noncommutative rings, an analogous construction to the (commutative) quasisymmetric functions produces a graded algebra WQSym whose dimensions in each grade are given by the ordered Bell numbers.[34][35]

In spam filtering, the problem of assigning weights to sequences of words with the property that the weight of any sequence exceeds the sum of weights of all its subsequences can be solved by using weight for a sequence of words, where is obtained from the recurrence equation with base case . This recurrence differs from the one given earlier for the ordered Bell numbers, in two respects: omitting the term from the sum (because only nonempty sequences are considered), and adding one separately from the sum (to make the result exceed, rather than equalling, the sum). These differences have offsetting effects, and the resulting weights are the ordered Bell numbers.[36]

References

[edit]
  1. ^ a b c de Koninck, J. M. (2009), Those Fascinating Numbers, American Mathematical Society, p. 4, ISBN 9780821886311. Because of this application, de Koninck calls these numbers "horse numbers", but this name does not appear to be in widespread use.
  2. ^ a b Mendelson, Elliott (1982), "Races with ties", Mathematics Magazine, 55 (3): 170–175, doi:10.2307/2690085, JSTOR 2690085, MR 0653432
  3. ^ a b c d Gross, O. A. (1962), "Preferential arrangements", The American Mathematical Monthly, 69 (1): 4–8, doi:10.2307/2312725, JSTOR 2312725, MR 0130837
  4. ^ a b c d e f g Sloane, N. J. A. (ed.), "Sequence A000670", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
  5. ^ a b c d Sklar, Abe (1952), "On the factorization of squarefree integers", Proceedings of the American Mathematical Society, 3 (5): 701–705, doi:10.1090/S0002-9939-1952-0050620-1, JSTOR 2032169, MR 0050620
  6. ^ Ziegler, Günter M. (1995), Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152, Springer, p. 18
  7. ^ Luce, R. Duncan (1956), "Semiorders and a theory of utility discrimination", Econometrica, 24 (2): 178–191, doi:10.2307/1905751, JSTOR 1905751, MR 0078632
  8. ^ a b c d e f Pippenger, Nicholas (2010), "The hypercube of resistors, asymptotic expansions, and preferential arrangements", Mathematics Magazine, 83 (5): 331–346, arXiv:0904.1757, doi:10.4169/002557010x529752, JSTOR 10.4169/002557010X529752, MR 2762645, S2CID 17260512
  9. ^ Cayley, A. (1859), "On the analytical forms called trees, second part", Philosophical Magazine, Series IV, 18 (121): 374–378, doi:10.1017/CBO9780511703706.026, ISBN 9781108004961, in Collected Works of Arthur Cayley, p. 113
  10. ^ Mor, M.; Fraenkel, A. S. (1984), "Cayley permutations", Discrete Mathematics, 48 (1): 101–112, doi:10.1016/0012-365X(84)90136-5, MR 0732206
  11. ^ Whitworth, W. A. (1886), Choice and Chance, Deighton: Bell and Co., Proposition XXII, p. 93, as cited by Pippenger (2010)
  12. ^ Comtet, Louis (1974), Advanced Combinatorics: The Art of Finite and Infinite Expansions (PDF) (revised and enlarged ed.), D. Reidel Publishing Co., p. 228, archived from the original (PDF) on 2014-07-04, retrieved 2013-03-12
  13. ^ a b c Knopfmacher, A.; Mays, M. E. (2005), "A survey of factorization counting functions", International Journal of Number Theory, 1 (4): 563–581, doi:10.1142/S1793042105000315, MR 2196796
  14. ^ a b Good, I. J. (1975), "The number of orderings of n candidates when ties are permitted" (PDF), Fibonacci Quarterly, 13: 11–18, doi:10.1080/00150517.1975.12430678, MR 0376367
  15. ^ a b c Sprugnoli, Renzo (1994), "Riordan arrays and combinatorial sums", Discrete Mathematics, 132 (1–3): 267–290, doi:10.1016/0012-365X(92)00570-H, MR 1297386
  16. ^ Liu, Lily L.; Wang, Yi (2007), "On the log-convexity of combinatorial sequences", Advances in Applied Mathematics, 39 (4): 453–476, arXiv:math/0602672, doi:10.1016/j.aam.2006.11.002, MR 2356431
  17. ^ For the interpretation of as the number of -dimensional faces of an -dimensional associahedron, see Sloane, N. J. A. (ed.), "Sequence A019538", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation, which gives the row-by-row ordering of an infinite triangle of numbers with as the th number on the th row of the triangle.
  18. ^ a b c Velleman, Daniel J.; Call, Gregory S. (1995), "Permutations and combination locks", Mathematics Magazine, 68 (4): 243–253, doi:10.2307/2690567, JSTOR 2690567, MR 1363707
  19. ^ Getu, Seyoum; Shapiro, Louis W.; Woan, Wen Jin; Woodson, Leon C. (1992), "How to guess a generating function", SIAM Journal on Discrete Mathematics, 5 (4): 497–499, doi:10.1137/0405040, MR 1186818
  20. ^ Lewis, Barry (2010), "Revisiting the Pascal matrix", American Mathematical Monthly, 117 (1): 50–66, doi:10.4169/000298910X474989, JSTOR 10.4169/000298910x474989, MR 2599467, S2CID 207520945
  21. ^ a b Bailey, Ralph W. (1998), "The number of weak orderings of a finite set", Social Choice and Welfare, 15 (4): 559–562, doi:10.1007/s003550050123, MR 1647055, S2CID 120845059
  22. ^ Barthélémy, J.-P. (1980), "An asymptotic equivalent for the number of total preorders on a finite set", Discrete Mathematics, 29 (3): 311–313, doi:10.1016/0012-365X(80)90159-4, MR 0560774
  23. ^ Berndt, Bruce C. (1985), Ramanujan's notebooks. Part I, Springer-Verlag, New York, p. 42, doi:10.1007/978-1-4612-1088-7, ISBN 0-387-96110-0, MR 0781125
  24. ^ Kauffman, Dolores H. (1963), "Note on preferential arrangements", The American Mathematical Monthly, 70 (1): 62, doi:10.2307/2312790, JSTOR 2312790, MR 0144827.
  25. ^ Poonen, Bjorn (1988), "Periodicity of a combinatorial sequence", Fibonacci Quarterly, 26 (1): 70–76, doi:10.1080/00150517.1988.12429663, MR 0931425
  26. ^ Diagana, Toka; Maïga, Hamadoun (2017), "Some new identities and congruences for Fubini numbers", Journal of Number Theory, 173: 547–569, doi:10.1016/j.jnt.2016.09.032, MR 3581932
  27. ^ Harris, John; Hirst, Jeffry L.; Mossinghoff, Michael J. (2008), Combinatorics and Graph Theory, Undergraduate Texts in Mathematics (2nd ed.), Springer, p. 132, ISBN 9780387797106
  28. ^ a b Ellison, T. Mark; Klein, Ewan (2001), "Review: The Best of All Possible Words (review of Optimality Theory: An Overview, Archangeli, Diana & Langendoen, D. Terence, eds., Blackwell, 1997)", Journal of Linguistics, 37 (1): 127–143, JSTOR 4176645
  29. ^ Yu, Yang; Wang, Junwei; Ma, Ke; Sun, Wei (August 2018), "Seru system balancing: Definition, formulation, and exact solution", Computers & Industrial Engineering, 122: 318–325, doi:10.1016/j.cie.2018.05.048
  30. ^ Zhu, Yi; Filipov, Evgueni T. (October 2019), "An efficient numerical approach for simulating contact in origami assemblages", Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 475 (2230): 20190366, Bibcode:2019RSPSA.47590366Z, doi:10.1098/rspa.2019.0366, PMC 6834023, PMID 31736647
  31. ^ Knopfmacher, A.; Mays, M. E. (2005), "A survey of factorization counting functions", International Journal of Number Theory, 1 (4): 563–581, doi:10.1142/S1793042105000315, MR 2196796
  32. ^ Meyles, Lucas Chaves; Harris, Pamela E.; Jordaan, Richter; Kirby, Gordon Rojas; Sehayek, Sam; Spingarn, Ethan (2023), Unit-interval parking functions and the permutohedron, arXiv:2305.15554; Meyles et al credit the connection between parking functions and ordered Bell numbers to a 2021 bachelor's thesis by Kimberly P. Hadaway of Williams College
  33. ^ Kemeny, John G. (1956), "Two measures of complexity", The Journal of Philosophy, 52 (24): 722–733, doi:10.2307/2022697, JSTOR 2022697
  34. ^ Novelli, J.-C.; Thibon, J.-Y. (June 2006), "Polynomial realizations of some trialgebras" (PDF), Proceedings of the 18th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC / SFCA), San Diego, California, 2006, pp. 243–254, arXiv:math/0605061
  35. ^ Féray, Valentin (2015), "Cyclic inclusion-exclusion", SIAM Journal on Discrete Mathematics, 29 (4): 2284–2311, arXiv:1410.1772, doi:10.1137/140991364, MR 3427040
  36. ^ Chhabra, Shalendra; Yerazunis, William S.; Siefkes, Christian (2004), "Spam filtering using a Markov random field model with variable weighting schemas" (PDF), Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 1–4 November 2004, Brighton, UK, IEEE Computer Society, pp. 347–350, doi:10.1109/ICDM.2004.10031, ISBN 0-7695-2142-8